# (decoded with TMPL 1000)
*****: (EOF-terminated list)
  0: Value: 1
  1: Value: 2
  2: Value: 4
  3: Value: 8
  4: Value: 15
  5: Value: 30
  6: Value: 2
  7: Value: 4
  8: Value: 5
  9: Value: 10
  10: Value: 30
  11: Value: 6